Vägen till ett socialvetenskapligt forskningsråd

Att knyta nordens språk till ett mångspråkigt datoröversättningssystem (Connecting the Nordic languages to a multilingual computer translation system) [In Swedish]

Jag beskriver här i korthet datoröversättningssystemet Distributed Language Translation (DLT) och tar i samband med detta upp Nordens språk. DLT är ett omfattande forskningsoch utvecklingsprojekt som bedrivs av det nederländska softwareföretaget Buro voor Systeemontwikkeling (BSO/Research i Utrecht) med anslag från Nederländernas Ekonomidepanement. Projektet är inne på en än så länge icke-komme...

Epigram reloaded: a standalone typechecker for ETT

Epigram 1 [18, 3] is at the same time a functional programming language with dependent types and a type-driven, interactive program development system. Epigram’s type system is strong enough to express a wide range of program properties, from basic structural invariants to full specifications. The system supports the interactive development of programs exploiting types to direct the design proc...

eTT sucTioning in neonaTes and infanTs

The endotracheal tube (eTT) is the most common artificial airway used in NICUs. Suctioning of the eTT is imperative to maintain patency and prevent complications. An extensive review of the literature revealed a lack of standardized criteria or guidelines for suctioning the eTT of neonates and infants in the NICU. The purpose of this article is to report the implementation of an evidencebased g...

Optimizing Strip-Till and No-Till Systems for Corn

Recent developments in biofuel demand and the rapid adoption of modern transgenic hybrids are changing production systems towards more corn after corn, more intensive tillage, higher plant populations, and ever higher crop residue levels at harvest. Meeting society’s needs for food, feed, and fuel from grain corn, and in the future from corn stover, requires continued refinement of tillage syst...

Macropore flow estimations under no-till and till systems